REF, NoConds
THENL(a; l) == ((a) THENL [l]) 

latex

Up	Tactics as terms
FDL editor aliases	-thl